0
EUR
00,00*
Warenkorb EUR 00,00 *
    Erweiterte Suche
    Konto anlegen

    Homotopy Type Theory – alle Bücher

    Wir konnten keine exakten Treffer zu Ihrer Suche nach "homotopy type theory" finden. Könnten diese Produkte zu Ihrer Suche passen?

    Ansicht:

    Egbert Rijke
    Introduction to Homotopy Type Theory

    This up-to-date introduction to type theory and homotopy type theory will be essential reading for advanced undergraduate and graduate students interested in the foundations and formalization of mathemati…

    lieferbar ab 6.11.2025.
    Buch
    Aktueller Preis: EUR 76,41

    Steve Awodey
    Cartesian Cubical Model Categories

    Lecture Notes in Mathematics - Band 2385

    This book introduces the category of Cartesian cubical sets and endows it with a Quillen model structure using ideas coming from Homotopy type theory. In particular, recent constructions of cubical system…

    lieferbar ab 31.12.2025.
    Buch
    Aktueller Preis: EUR 71,19
    Informationen zur Lieferbarkeit bzw. zu Veröffentlichungsterminen von Artikeln beruhen auf Vorabinformationen unserer Lieferanten. Diese Termine sind ohne Gewähr und können sich jederzeit ändern.